jade.content.abs
Class AbsEquals

java.lang.Object
  |
  +--jade.content.abs.AbsObject
        |
        +--jade.content.abs.AbsContentElement
              |
              +--jade.content.abs.AbsProposition
                    |
                    +--jade.content.abs.AbsEquals

public class AbsEquals
extends AbsProposition

Author:
Paola Turci, Federico Bergenti - Universita` di Parma
See Also:
Serialized Form

Constructor Summary
AbsEquals()
          Constructor
 
Method Summary
 AbsConcept getConcept()
          Gets the described concept.
 AbsIRE getIRE()
          Gets the IRE describing the concept.
 void setConcept(AbsConcept concept)
          Sets the described concept.
 void setIRE(AbsIRE absIRE)
          Sets the IRE describing the concept.
 
Methods inherited from class jade.content.abs.AbsObject
dump, dump, getAbsObject, getCount, getNames, getTypeName, isGrounded, set
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbsEquals

public AbsEquals()
Constructor
Method Detail

setIRE

public void setIRE(AbsIRE absIRE)
Sets the IRE describing the concept.
Parameters:
ire - the IRE describing the concept.

setConcept

public void setConcept(AbsConcept concept)
Sets the described concept.
Parameters:
concept - the concept.

getIRE

public AbsIRE getIRE()
Gets the IRE describing the concept.
Returns:
the IRE.

getConcept

public AbsConcept getConcept()
Gets the described concept.
Returns:
the described concept.